on dit que la famille d'évènements \((A_i)_{i\in I}\) (où \(I\) est fini ou dénombrable) forme un système complet d'évènements de \(\Omega\) si et seulement si $${{\forall(i,j)\in I^2,A_i\cap A_j=\varnothing}}\quad\text{ et }\quad{{\bigcup_{i\in I}A_i=\Omega}}$$
(Suite d’évènements - Famille d’évènements, Ensemble fini, Ensemble dénombrable, Evènements incompatibles, Union - Réunion, Univers)
La famille d'évènements $$\{[X=k],k\in X(\Omega)\}$$ est un système complet d'évènements